<?php 

/* ------------------------------------------------------------
 * Page:Menu
 * Author: Gustavo Lozano & Fredrik Kronander
 * Description: Manages the menu of all the webpage by an array
 * 
 **------------------------------------------------------------*/

?>

<?php

/**
 * 
 * Each menu options have an text that represent the link in the menu, the page connected to it, and the last boolean value decide if the page should be linked in   *the menu.
 * 
 */
$menu_options = array (
     "Home" => array("Home","home.php",true),
     "Search_Result" => array("","search_result.php",false),
     "Search_Flights" => array("Search Flights","search_flights.php",true),
     "About" => array("About","about.php",true),
     "Contact" => array("Contact","contact.php",true),
 	 "PersonalDetails" => array("","personalDetails.php",false),
	 "PaymentForm" => array("","paymentForm.php",false),
	 "Selected_Flights" => array("","selected_flights.php",false),
	 "YourBookings" => array("","yourBookings.php",false),
	 "ReviewBooking" => array("","reviewBooking.php",false),

);


function display_menu()
{
    global $menu_options;
    foreach ($menu_options as $key => $value)
    {
       if ($value[2])
          echo "<li><a href=\"index.php?content=$key\">".$value[0]."</a></li>";
    }
}

?>
